Backdoor detection systems for embedded devices

A system is said to contain a backdoor when it intentionally includes a means to trigger the execution of functionality that serves to subvert its expected security. Unfortunately, such constructs are pervasive in software and systems today, particularly in the firmware of commodity embedded systems and “Internet of Things” devices. The work presented in this thesis concerns itself with the problem of detecting backdoor-like constructs, specifically those present in embedded device firmware, which, as we show, presents additional challenges in devising detection methodologies. The term “backdoor”, while used throughout the academic literature, by industry, and in the media, lacks a rigorous definition, which exacerbates the challenges in their detection. To this end, we present such a definition, as well as a framework, which serves as a basis for their discovery, devising new detection techniques and evaluating the current state-of-the-art. Further, we present two backdoor detection methodologies, as well as corresponding tools which implement those approaches. Both of these methods serve to automate many of the currently manual aspects of backdoor identification and discovery. And, in both cases, we demonstrate that our approaches are capable of analysing device firmware at scale and can be used to discover previously undocumented real-world backdoors

Analyzing kinetic signaling data for G-protein-coupled receptors

In classical pharmacology, bioassay data are fit to general equations (e.g. the dose response equation) to determine empirical drug parameters (e.g. EC50 and Emax), which are then used to calculate chemical parameters such as affinity and efficacy. Here we used a similar approach for kinetic, time course signaling data, to allow empirical and chemical definition of signaling by G-protein-coupled receptors in kinetic terms. Experimental data are analyzed using general time course equations (model-free approach) and mechanistic model equations (mechanistic approach) in the commonly-used curve-fitting program, GraphPad Prism. A literature survey indicated signaling time course data usually conform to one of four curve shapes: the straight line, association exponential curve, rise-and-fall to zero curve, and rise-and-fall to steady-state curve. In the model-free approach, the initial rate of signaling is quantified and this is done by curve-fitting to the whole time course, avoiding the need to select the linear part of the curve. It is shown that the four shapes are consistent with a mechanistic model of signaling, based on enzyme kinetics, with the shape defined by the regulation of signaling mechanisms (e.g. receptor desensitization, signal degradation). Signaling efficacy is the initial rate of signaling by agonist-occupied receptor (kτ), simply the rate of signal generation before it becomes affected by regulation mechanisms, measurable using the model-free analysis. Regulation of signaling parameters such as the receptor desensitization rate constant can be estimated if the mechanism is known. This study extends the empirical and mechanistic approach used in classical pharmacology to kinetic signaling data, facilitating optimization of new therapeutics in kinetic terms

CAMAU Project: Research Report (April 2018)

‘Learning about Progression’ is a suite of research-based resources designed to provide evidence to support the building of learning progression frameworks in Wales. ‘Learning about Progression’ seeks to deepen our understanding of current thinking about progression and to explore different purposes that progression frameworks can serve to improve children and young people’s learning. These resources include consideration of how this evidence relates to current developments in Wales and derives a series of principles to serve as touchstones to make sure that, as practices begin to develop, they stay true to the original aspirations of A Curriculum for Wales – A Curriculum for Life. It also derives, from the review of evidence, a number of fundamental questions for all those involved in the development of progression frameworks to engage

CAMAU Project: Research Report (April 2018)

‘Learning about Progression’ is a suite of research-based resources designed to provide evidence to support the building of learning progression frameworks in Wales. ‘Learning about Progression’ seeks to deepen our understanding of current thinking about progression and to explore different purposes that progression frameworks can serve to improve children and young people’s learning. These resources include consideration of how this evidence relates to current developments in Wales and derives a series of principles to serve as touchstones to make sure that, as practices begin to develop, they stay true to the original aspirations of A Curriculum for Wales – A Curriculum for Life. It also derives, from the review of evidence, a number of fundamental questions for all those involved in the development of progression frameworks to engage

Doxycycline versus prednisolone as an initial treatment strategy for bullous pemphigoid: a pragmatic non-inferiority randomised controlled trial

Background: Bullous pemphigoid (BP) is a blistering skin disorder with increased mortality. We tested whether a strategy of starting treatment with doxycycline conveys acceptable short-term blister control whilst conferring long-term safety advantages over starting treatment with oral corticosteroids. Methods: Pragmatic multi-centre parallel-group randomised controlled trial of adults with BP (≥3 blisters ≥2 sites and linear basement membrane IgG/C3) plus economic evaluation. Participants were randomised to doxycycline (200 mg/day) or prednisolone (0·5 mg/kg/day). Localised adjuvant potent topical corticosteroids (<30 g/week) was permitted weeks 1-3. The non-inferiority primary effectiveness outcome was the proportion of participants with ≤3 blisters at 6 weeks. We assumed that doxycycline would be 25% less effective than corticosteroids with a 37% acceptable margin of noninferiority. The primary safety outcome was the proportion with severe, life-threatening or fatal treatment-related adverse events by 52 weeks. Analysis used a regression model adjusting for baseline disease severity, age and Karnofsky score, with missing data imputed. Results: 132 patients were randomised to doxycycline and 121 to prednisolone from 54 UK and 7 German dermatology centres. Mean age was 77·7 years and 68.4% had moderate to severe baseline disease. For those starting doxycycline, 83/112 (74·1%) had ≤3 blisters at 6 weeks compared with 92/101 (91·1%) for prednisolone, a difference of 18·6% favouring prednisolone (upper limit of 90% CI, 26·1%, within the predefined 37% margin). Related severe, life-threatening and fatal events at 52 weeks were 18·5% for those starting doxycycline and 36·6% for prednisolone (mITT analysis), an adjusted difference of 19·0% (95% CI, 7·9%, 30·1%, p=0·001). Conclusions: A strategy of starting BP patients on doxycycline is non-inferior to standard treatment with oral prednisolone for short-term blister control and significantly safer long-term

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Learning together for and with the Martuwarra Fitzroy River

Co-production across scientific and Indigenous knowledge systems has become a cornerstone of research to enhance knowledge, practice, ethics, and foster sustainability transformations. However, the profound differences in world views and the complex and contested histories of nation-state colonisation on Indigenous territories, highlight both opportunities and risks for Indigenous people when engaging with knowledge co-production. This paper investigates the conditions under which knowledge co-production can lead to improved Indigenous adaptive environmental planning and management among remote land-attached Indigenous peoples through a case study with ten Traditional Owner groups in the Martuwarra (Fitzroy River) Catchment in Western Australia’s Kimberley region. The research team built a 3D map of the river and used it, together with an interactive table-top projector, to bring together both scientific and Indigenous spatial knowledge. Participatory influence mapping, aligned with Traditional Owner priorities to achieve cultural governance and management planning goals set out in the Fitzroy River Declaration, investigated power relations. An analytical framework, examining underlying mechanisms of social learning, knowledge promotion and enhancing influence, based on different theories of change, was applied to unpack the immediate outcomes from these activities. The analysis identified that knowledge co-production activities improved the accessibility of the knowledge, the experiences of the knowledge users, strengthened collective identity and partnerships, and strengthened Indigenous-led institutions. The focus on cultural governance and management planning goals in the Fitzroy River Declaration enabled the activities to directly affect key drivers of Indigenous adaptive environmental planning and management—the Indigenous-led institutions. The nation-state arrangements also gave some support to local learning and decision-making through a key Indigenous institution, Martuwarra Fitzroy River Council. Knowledge co-production with remote land-attached Indigenous peoples can improve adaptive environmental planning and management where it fosters learning together, is grounded in the Indigenous-led institutions and addresses their priorities

Deciphering mollusc shell production: the roles of genetic mechanisms through to ecology, aquaculture and biomimetics

Most molluscs possess shells, constructed from a vast array of microstructures and architectures. The fully formed shell is composed of calcite or aragonite. These CaCO3 crystals form complex biocomposites with proteins, which although typically less than 5% of total shell mass, play significant roles in determining shell microstructure. Despite much research effort, large knowledge gaps remain in how molluscs construct and maintain their shells, and how they produce such a great diversity of forms. Here we synthesize results on how shell shape, microstructure, composition and organic content vary among, and within, species in response to numerous biotic and abiotic factors. At the local level, temperature, food supply and predation cues significantly affect shell morphology, whilst salinity has a much stronger influence across latitudes. Moreover, we emphasize how advances in genomic technologies [e.g. restriction site-associated DNA sequencing (RAD-Seq) and epigenetics] allow detailed examinations of whether morphological changes result from phenotypic plasticity or genetic adaptation, or a combination of these. RAD-Seq has already identified single nucleotide polymorphisms associated with temperature and aquaculture practices, whilst epigenetic processes have been shown significantly to modify shell construction to local conditions in, for example, Antarctica and New Zealand. We also synthesize results on the costs of shell construction and explore how these affect energetic trade-offs in animal metabolism. The cellular costs are still debated, with CaCO3 precipitation estimates ranging from 1-2 J/mg to 17-55 J/mg depending on experimental and environmental conditions. However, organic components are more expensive (~29 J/mg) and recent data indicate transmembrane calcium ion transporters can involve considerable costs. This review emphasizes the role that molecular analyses have played in demonstrating multiple evolutionary origins of biomineralization genes. Although these are characterized by lineage-specific proteins and unique combinations of co-opted genes, a small set of protein domains have been identified as a conserved biomineralization tool box. We further highlight the use of sequence data sets in providing candidate genes for in situ localization and protein function studies. The former has elucidated gene expression modularity in mantle tissue, improving understanding of the diversity of shell morphology synthesis. RNA interference (RNAi) and clustered regularly interspersed short palindromic repeats - CRISPR-associated protein 9 (CRISPR-Cas9) experiments have provided proof of concept for use in the functional investigation of mollusc gene sequences, showing for example that Pif (aragonite-binding) protein plays a significant role in structured nacre crystal growth and that the Lsdia1 gene sets shell chirality in Lymnaea stagnalis. Much research has focused on the impacts of ocean acidification on molluscs. Initial studies were predominantly pessimistic for future molluscan biodiversity. However, more sophisticated experiments incorporating selective breeding and multiple generations are identifying subtle effects and that variability within mollusc genomes has potential for adaption to future conditions. Furthermore, we highlight recent historical studies based on museum collections that demonstrate a greater resilience of molluscs to climate change compared with experimental data. The future of mollusc research lies not solely with ecological investigations into biodiversity, and this review synthesizes knowledge across disciplines to understand biomineralization. It spans research ranging from evolution and development, through predictions of biodiversity prospects and future-proofing of aquaculture to identifying new biomimetic opportunities and societal benefits from recycling shell products.FCT: UID/Multi/04326/2019; European Marine Biological Research Infrastructure Cluster-EMBRIC (EU H2020 research and innovation program) 654008; European Union Seventh Framework Programme [FP7] ITN project 'CACHE: Calcium in a Changing Environment' under REA 60505; NERC Natural Environment Research Council NE/J500173/1info:eu-repo/semantics/publishedVersio

Empirical Legal Studies Before 1940: A Bibliographic Essay

The modern empirical legal studies movement has well-known antecedents in the law and society and law and economics traditions of the latter half of the 20th century. Less well known is the body of empirical research on legal phenomena from the period prior to World War II. This paper is an extensive bibliographic essay that surveys the English language empirical legal research from approximately 1940 and earlier. The essay is arranged around the themes in the research: criminal justice, civil justice (general studies of civil litigation, auto accident litigation and compensation, divorce, small claims, jurisdiction and procedure, civil juries), debt and bankruptcy, banking, appellate courts, legal needs, legal profession (including legal education), and judicial staffing and selection. Accompanying the essay is an extensive bibliography of research articles, books, and reports